home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Freelog 117
/
FreelogNo117-OctobreNovembre2013.iso
/
Programmation
/
jedit
/
jedit5.1.0install.exe
/
{app}
/
modes
/
props.xml
< prev
next >
Wrap
Extensible Markup Language
|
2013-07-28
|
850b
|
29 lines
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
<MODE>
<PROPS>
<PROPERTY NAME="lineComment" VALUE="#" />
<PROPERTY NAME="contextInsensitive" VALUE="true" />
</PROPS>
<RULES DEFAULT="KEYWORD1">
<EOL_SPAN TYPE="COMMENT1" AT_LINE_START="TRUE">#</EOL_SPAN>
<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE">=</EOL_SPAN>
<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE">:</EOL_SPAN>
<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE"> </EOL_SPAN>
<EOL_SPAN TYPE="NULL" DELEGATE="PROP_VALUE"> </EOL_SPAN>
</RULES>
<RULES SET="PROP_VALUE" HIGHLIGHT_DIGITS="TRUE"
DIGIT_RE="([\p{Digit}]+|#[\p{XDigit}]+)"
NO_WORD_SEP="#">
<!-- MessageFormat { ... } stuff -->
<SPAN TYPE="KEYWORD3" NO_LINE_BREAK="TRUE">
<BEGIN>{</BEGIN>
<END>}</END>
</SPAN>
<!-- Sillyness -->
<MARK_FOLLOWING TYPE="DIGIT">#</MARK_FOLLOWING>
</RULES>
</MODE>